首页> 外文OA文献 >Bounding messages for free in security protocols – extension to various security properties

【2h】

Bounding messages for free in security protocols – extension to various security properties

机译：在安全协议中免费绑定消息–扩展了各种安全属性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Arapinis, Myrto; Duflot, Marie;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Bounding messages for free in security protocols - extension to various security properties [J] . Myrto Arapinis, Marie Duflot Information and computation . 2014,第deca期

机译：在安全协议中免费绑定消息-扩展各种安全属性
2. Typing Messages for Free in Security Protocols [J] . Chretien Remy, Cortier Veronique, Dallon Antoine, ACM transactions on computational logic . 2020,第1期

机译：在安全协议中免费键入消息
3. A Security Analysis and Revised Security Extension for the Precision Time Protocol [J] . Tian Ke, Yao Danfeng, Ryder Barbara G., IEEE transactions on dependable and secure computing . 2020,第1期

机译：精密时间协议的安全分析和修订安全扩展
4. Bounding Messages for Free in Security Protocols [C] . Myrto Arapinis, Marie Duflot Annual Conference on the Foundations of Software Technology and Theoretical Computer Science . 2007

机译：在安全协议中免费的绑定消息
5. A dual architecture approach for vehicle communication control: An accommodated device gateway and intelligent data bus, signal circuitry analysis and message security protocols. [D] . Guzman, Daniel De Jesus. 2001

机译：用于车辆通信控制的双重体系结构方法：容纳的设备网关和智能数据总线，信号电路分析和消息安全协议。
6. Correction: Development and validation protocol for an instrument to measure household water insecurity across cultures and ecologies: the Household Water InSecurity Experiences (HWISE) Scale [O] . 2019

机译：更正：针对各种文化和生态环境中的家庭水不安全性度量工具的开发和验证协议：家庭水不安全性体验（HWISE）量表
7. Bounding messages for free in security protocols – extension to various security properties [O] . Arapinis, Myrto, Duflot, Marie 2014

机译：在安全协议中免费绑定消息–扩展了各种安全属性
8. Using the Message Security Protocol to Support the Directory Access Protocol [R] . Lai, M. K. 1996

机译：使用邮件安全协议来支持目录访问协议

Bounding messages for free in security protocols – extension to various security properties

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅